161. Timing Characterization of an SRAM Generated from OpenRAM:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

162. Trace-Based Post-Silicon Validation for VLSI Circuits

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

163. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors

رده :
E-BOOK

164. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits

رده :
TK7874
.
L58
2014

165. Trace theory for automatic hierarchical verification of speed-independent circuits

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.

رده :
TK7868
.
S9
D385
9999

166. VLSI-SOC, from systems to chips :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Integrated circuits-- Very large scale integration, Congresses.,Systems on a chip, Congresses.

167. VLSI design and test for systems dependability /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :
TK7874

168. VLSI specification, verification, and synthesis

پدیدآورنده :

موضوع : Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

169. Verification by error modeling

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer

170. Verification methodology manual for SystemVerilog

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification

رده :
E-BOOK

171. Verification methodology manual for System Verilog

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Verilog (Computer hardware description language),Integrated circuits -- Verification

رده :
TK
،
7885
.
7
،.
V44
،
2006

172. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets

رده :
TK
7874
.
58
.
Y64
2008

173. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets

رده :
TK7874
.
58
.
Y64
2008

174. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42
.
F95
2008

175. Verification techniques for system-level design /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7895
.
E42
F95
2008eb

176. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42F84

177. Writing testbenches: functional verification of HDL models

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Computer hardware description languages,، Integrated circuits- Verification

رده :
TK
7885
.
7
.
B47

178. Writing testbenches using System Verilog

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer hardware description languages,Integrated circuits- Verification

رده :
E-BOOK

179. Writing testbenches using System Verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computer hardware description languages,Integrated circuits- Verification

رده :
TK7885
.
7
.
B48
2006

180. Writing testbenches using SystemVerilog

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Langages de description de matouAoeriel informatique,Circuits intouAoegrouAoes , Inspection,Computer hardware description languages,Integrated circuits , Verification,Ressources internet

رده :
E-BOOK